FDL - Nuprl Definition : ma-is-empty

Nuprl Definition : ma-is-empty

0,22

ma-is-empty(M)
== fpf-is-empty(1of(M))
==

fpf-is-empty(1of(2of(M)))
==

fpf-is-empty(1of(2of(2of(M))))
==

fpf-is-empty(1of(2of(2of(2of(M)))))
==

fpf-is-empty(1of(2of(2of(2of(2of(M))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(M)))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(2of(M))))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(2of(2of(M)))))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(2of(2of(2of(M))))))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(M)))))))))))
==

fpf-is-empty(1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(M))))))))))))

Definitions p q, fpf-is-empty(f), 1of(t), 2of(t)

FDL editor aliases ma-is-empty

Definitions	p q, fpf-is-empty(f), 1of(t), 2of(t)
FDL editor aliases	ma-is-empty